F. Montagna; "On the formulas of Peano arithmetic which are provably closed under modus ponens"
References
どこを探しても無いので,
T. Kurahashi; "A Note on Derivability Conditions"
などを2次参照にするのが良い?
Thm:
Montagnaの第2不完全性定理
次の
Montagnaの導出可能性条件
を満たす
証明可能性述語
$ \mathrm{Pr}_T
は
Löbの定理
が成り立つ.